Objects and Their Speci cation
نویسندگان
چکیده
Object{oriented concepts and constructions are explained in an informal and language{independent way. Various algebraic approaches for dealing with objects and their speciication are examined, ADT{based ones as well as pro-cess{based ones. The conclusion is that the process view of objects seems to be more appropriate than the data type view.
منابع مشابه
A Kernel Specification Formalism with Higher-Order Parameterization
A speci cation formalism with parameterisation of an arbitrary order is presented It is given a denotational style semantics accompanied by an inference system for proving that an object satis es a speci cation The inference system incorporates but is not limited to a clearly identi ed type checking component Special e ort is made to carefully distinguish between parameterised speci cations whi...
متن کاملA Formal Speci cation of Java Virtual Machine Instructions for Objects Methods and Subroutines
In this chapter we formally specify a subset of Java Virtual Machine JVM instructions for objects methods and subroutines based on the o cial JVM Speci cation the o cial Java Language Speci cation and Sun s JDK imple mentation of the JVM Our formal speci cation describes the runtime behaviors of the instructions in relevant memory areas as state transitions and most structural and linking const...
متن کاملForm, the Missing Piece in Effective Real-Time System Specification and Simulation
Speci cation and validation of a real-time system are often based on making simplistic predictions and assumptions about relevant behavior of the external environment and the controlled device interacting with it. However, in many cases, real-time systems physically interact with other external objects in a complex manner in a dynamically changing world and thus, their form (e.g. physical prope...
متن کاملAdding Form to Real - Time System Specification and Simulation Ji
Speci cation and validation of a real-time system are often based on making simplistic predictions and assumptions about relevant behavior of the external environment and the controlled device interacting with it. However, in many cases, real-time systems physically interact with other external objects in a complex manner in a dynamically changing world and thus, their form (e.g. physical prope...
متن کاملForcing Behavioral Subtyping Through Speci cation Inheritance
A common change to object oriented software is to add a new type of data that is a subtype of some existing type in the program However due to message passing unchanged parts of the program may now call operations of the new type To avoid reveri cation of unchanged code such operations should have speci cations that are related to the speci cations of the appropriate operations in their superty...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992